real closed field

[riəl kləʊzd fi:ld]
实闭域